A FORMALIZATION OF KANT’S TRANSCENDENTAL LOGIC
نویسندگان
چکیده
منابع مشابه
A Formalization of Kant's Transcendental Logic
Although Kant envisaged a prominent role for logic in the argumentative structure of his Critique of pure reason [12], logicians and philosophers have generally judged Kant’s logic negatively. What Kant called ‘general’ or ‘formal’ logic has been dismissed as a fairly arbitrary subsystem of first order logic, and what he called ‘transcendental logic’ is considered to be not a logic at all: no s...
متن کاملKant's Logic in the Critique of Practical Reason - a Logical Formalization of Kant's Practical Transcendental Argument Msc in Logic
Logic plays a fundamental role in Kant’s transcendental philosophy. The general presupposition is that Kant’s logic can be subsumed under the Aristotelian tradition. However, with respect to this presupposition some problems arise in Kant’s philosophy. This thesis takes a new approach to Kant’s logic: Instead of imposing a logical framework on Kant’s thought this thesis aims at deriving the log...
متن کاملSymbol Grounding and Transcendental Logic
Symbol Grounding tries to answer the question as to how it is possible for a computer program to use symbols which are not arbitrarily inter-pretable. Whereas the signs in conventional programs are just \parasitic on the meaning in our heads", grounded symbols should possess at least some \intrinsic meaning." This paper gives a brief overview of what Symbol Grounding is and summarizes some of t...
متن کاملA logic-based formalization for component specification
We consider a component-based approach to modelling complex systems using UML. We describe how component concepts at a specification level (interfaces, components, architectures) can be formalized in a uniform way using a distributed logical framework. In the logic MDTL, each component has associated to it a local logic consisting of a home logic and a communication logic. Component contracts a...
متن کاملNegation in Logic Programming: A Formalization in Constructive Logic
The conventional formalization of logic programming in classical logic explains very convincingly the basic principles of this programming style. However, it gives no easy or intuitive explanations for the treatment of negation. Logic Programming handles negation through the so-called ^Negation as Failure" inference principle which is rather unconventional from the viewpoint of classical logic....
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Review of Symbolic Logic
سال: 2011
ISSN: 1755-0203,1755-0211
DOI: 10.1017/s1755020310000341